#include <stdarg.h>
#include <stdio.h>

static void put_char_to_stdout( char c, void* p ) _REENTRANT {
  p;
  putchar( c );
}

int vprintf( const char *format, va_list ap ) {
  return _print_format( put_char_to_stdout, NULL, format, ap );
}

int printf( const char *format, ... ) {
  va_list arg;
  int i;
  va_start( arg, format );
  i = _print_format( put_char_to_stdout, NULL, format, arg );
  va_end( arg );
  return i;
}
